#include <stdio.h>
int main()
{
	int count = 5;
	while ( count <= 10)
		printf("%d ", count);
		printf("\n%s ", "finished");
}
